home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / test / test_b / lh / repexpose
Encoding:
Text File  |  1996-11-13  |  536 b   |  15 lines
  1. /* Output from LCLint 2.2a+ */
  2. # include "bool.h"
  3.  
  4.  
  5.  
  6. extern char  **globstring;
  7. extern /*@only@*/ abst abst_create (/*@dependent@*/ abst  /* p */, /*@only@*/ char * /* x */, int  /* i */);
  8. extern /*@only@*/ char *abst_name (abst  /* a */);
  9. extern int abst_val (abst  /* a */);
  10. extern int *abst_aval (abst  /* a */);
  11. extern /*@only@*/ abst abst_parent (/*@only@*/ abst  /* a */);
  12. extern /*@dependent@*/ char *immut_name (immut  /* im */);
  13. extern void abst_setIm (abst  /* a */, immut  /* im */);
  14. extern immut abst_getIm (abst  /* a */);
  15.